Subdirectly irreducible separable dynamic algebras
نویسندگان
چکیده
A characterization of the subdirectly irreducible separable dynamic algebras is presented. The notions developed for this study were also suitable to describe the previously found class of the simple separable dynamic algebras.
منابع مشابه
Subdirectly Irreducible Quasi-modal Algebras
In this paper we give suitable notions of congruences and subdirectly irreducible algebras for the class of quasi-modal algebras introduced in [1]. We also prove some characterizations of subdirectly irreducible algebras following the similar results given by G. Sambin [5] for modal algebras.
متن کاملSubdirectly Irreducible Non-idempotent Left Distributive Left Quasigroups
Left distributive left quasigroups are binary algebras with unique left division satisfying the left distributive identity x(yz) ≈ (xy)(xz). In other words, binary algebras where all left translations are automorphisms. We provide a description and examples of non-idempotent subdirectly irreducible algebras in this class.
متن کاملHomomorphic Images of Finite Subdirectly Irreducible Unary Algebras
We prove that a finite unary algebra with at least two operation symbols is a homomorphic image of a (finite) subdirectly irreducible algebra if and only if the intersection of all its subalgebras which have at least two elements is nonempty. We are concerned with the following question: Which algebras are homomorphic images of subdirectly irreducible algebras? A necessary condition, discovered...
متن کاملDuals of subdirectly irreducible modal algebras
We give a characterization of the simple, and of the subdirectly irreducible boolean algebras with operators (including modal algebras), in terms of the dual descriptive frame. These characterizations involve a special binary quasi-reachability relation on the dual structure; we call a point u a quasi-root of the dual structure if every ultrafilter is quasireachable from u. We prove that a bool...
متن کاملRepresentable Idempotent Commutative Residuated Lattices
It is proved that the variety of representable idempotent commutative residuated lattices is locally finite. The n-generated subdirectly irreducible algebras in this variety are shown to have at most 3n+1 elements each. A constructive characterization of the subdirectly irreducible algebras is provided, with some applications. The main result implies that every finitely based extension of posit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Math. Log. Q.
دوره 56 شماره
صفحات -
تاریخ انتشار 2010